John McCarthy
概述
美国计算机科学家（1927–2011），LISP 编程语言发明者，1956年达特茅斯会议上正式提出"人工智能"术语。1971年因 AI 领域开创性贡献获得 ACM 图灵奖。
关键内容
LISP（1960）
- 基于 Church 的 λ 演算设计了 LISP 语言
- 引入了递归函数、条件表达式、垃圾回收和"代码即数据"等革命性概念
- 论文中用不到一页篇幅给出了 LISP 的自解释器
eval - LISP 成为1960-1990年代 AI 研究的事实标准语言
人工智能
- 1956年夏天在达特茅斯学院会议上正式提出"人工智能"术语
- 与会者包括 Minsky、Shannon、Simon 等日后的领军人物
- 在 MIT 主持人工智能项目（后来发展为 MIT AI Lab）
理论洞见
McCarthy 证明了编程语言可以从纯粹的数学理论出发来设计，而不必受制于硬件的偶然特性。这种"自上而下"的语言设计哲学影响了此后的 ML、Haskell、Prolog 等语言。
图灵奖（1971）
授奖理由是他在人工智能领域的开创性贡献。LISP 的设计是这些贡献中最持久的一项——半个多世纪后，LISP 的核心思想仍然活跃在现代编程实践中。
来源
- raw/books/计算机科学/05-mccarthy-lisp.md